A Formal Analysis of 5G Authentication

Mobile communication networks connect much of the world's population. The security of users' calls, SMSs, and mobile data depends on the guarantees provided by the Authenticated Key Exchange protocols used. For the next-generation network (5G), the 3GPP group has standardized the 5G AKA protocol for this purpose. We provide the first comprehensive formal model of a protocol from the AKA family: 5G AKA. We also extract precise requirements from the 3GPP standards defining 5G and we identify missing security goals. Using the security protocol verification tool Tamarin, we conduct a full, systematic, security evaluation of the model with respect to the 5G security goals. Our automated analysis identifies the minimal security assumptions required for each security goal and we find that some critical security goals are not met, except under additional assumptions missing from the standard. Finally, we make explicit recommendations with provably secure fixes for the attacks and weaknesses we found.Comment: Categories (ACM class 2012): Security and privacy - Formal methods and theory of security -- Security requirements -- Formal security models -- Logic and verification; Network protocols - Protocol correctness -- Formal specifications; Security and privacy - Network security -- Mobile and wireless security - Security services -- Privacy-preserving protocol

Subklinische Hypothyreose: Risiken, aktuelle Empfehlungen und randomisierte Studie in der Schweiz

Quintessenz: • Die subklinische Hypothyreose ist definiert durch erhöhte TSH und normwertige ThyroxinSpiegel; sie kommt bei älteren Patienten häufig vor (10–15%). • Daten aus Beobachtungsstudien zeigen einen möglichen Zusammenhang zwischen der subklinischen Hypothyreose und verschiedenen Krankheitsbildern wie kardiovaskulären Erkrankungen, Muskelbeschwerden sowie depressiven oder kognitiven Störungen. • Die Indikation zur Thyroxin Substitution bei subklinischer Hypothyreose ist derzeit noch nicht klar, was sich in grossen Unterschieden bezüglich Therapie zwischen verschiedenen Ländern niederschlägt. Es zeigt sich jedoch eine Zunahme der ThyroxinVerschreibungen. • Die Teilnahme an der randomisierten TRUST Studie ist die derzeit beste «Behandlungsoption» für ältere Patienten mit subklinischer Hypothyreose

The distribution of active RNA polymerase II along the transcribed region is gene-specific and controlled by elongation factors

In order to study the intragenic profiles of active transcription, we determined the relative levels of active RNA polymerase II present at the 3′- and 5′-ends of 261 yeast genes by run-on. The results obtained indicate that the 3′/5′ run-on ratio varies among the genes studied by over 12 log2 units. This ratio seems to be an intrinsic characteristic of each transcriptional unit and does not significantly correlate with gene length, G + C content or level of expression. The correlation between the 3′/5′ RNA polymerase II ratios measured by run-on and those obtained by chromatin immunoprecipitation is poor, although the genes encoding ribosomal proteins present exceptionally low ratios in both cases. We detected a subset of elongation-related factors that are important for maintaining the wild-type profiles of active transcription, including DSIF, Mediator, factors related to the methylation of histone H3-lysine 4, the Bur CDK and the RNA polymerase II subunit Rpb9. We conducted a more detailed investigation of the alterations caused by rpb9Δ to find that Rpb9 contributes to the intragenic profiles of active transcription by influencing the probability of arrest of RNA polymerase II

The venom composition of the parasitic wasp Chelonus inanitus resolved by combined expressed sequence tags analysis and proteomic approach

<p>Abstract</p> <p>Background</p> <p>Parasitic wasps constitute one of the largest group of venomous animals. Although some physiological effects of their venoms are well documented, relatively little is known at the molecular level on the protein composition of these secretions. To identify the majority of the venom proteins of the endoparasitoid wasp <it>Chelonus inanitus </it>(Hymenoptera: Braconidae), we have randomly sequenced 2111 expressed sequence tags (ESTs) from a cDNA library of venom gland. In parallel, proteins from pure venom were separated by gel electrophoresis and individually submitted to a nano-LC-MS/MS analysis allowing comparison of peptides and ESTs sequences.</p> <p>Results</p> <p>About 60% of sequenced ESTs encoded proteins whose presence in venom was attested by mass spectrometry. Most of the remaining ESTs corresponded to gene products likely involved in the transcriptional and translational machinery of venom gland cells. In addition, a small number of transcripts were found to encode proteins that share sequence similarity with well-known venom constituents of social hymenopteran species, such as hyaluronidase-like proteins and an Allergen-5 protein.</p> <p>An overall number of 29 venom proteins could be identified through the combination of ESTs sequencing and proteomic analyses. The most highly redundant set of ESTs encoded a protein that shared sequence similarity with a venom protein of unknown function potentially specific of the <it>Chelonus </it>lineage. Venom components specific to <it>C. inanitus </it>included a C-type lectin domain containing protein, a chemosensory protein-like protein, a protein related to yellow-e3 and ten new proteins which shared no significant sequence similarity with known sequences. In addition, several venom proteins potentially able to interact with chitin were also identified including a chitinase, an imaginal disc growth factor-like protein and two putative mucin-like peritrophins.</p> <p>Conclusions</p> <p>The use of the combined approaches has allowed to discriminate between cellular and truly venom proteins. The venom of <it>C. inanitus </it>appears as a mixture of conserved venom components and of potentially lineage-specific proteins. These new molecular data enrich our knowledge on parasitoid venoms and more generally, might contribute to a better understanding of the evolution and functional diversity of venom proteins within Hymenoptera.</p

A first update on mapping the human genetic architecture of COVID-19

peer reviewe

Maîtriser l’information comptable : Volume 1. Introduction à la comptabilité, théorie des comptes, cadre conceptuel et établissement des comptes annuels

Cet ouvrage est le premier des trois volumes qui reprennent la matière traitée dans les précédentes éditions des volumes 1 à 4 de la série Maîtriser l’information comptable. L’objectif est d’offrir une compréhension du contenu possible de l’information comptable ainsi qu’une capacité d’interprétation de cette information. Les auteurs étudient pour chaque domaine particulier la solution la plus conforme aux théories modernes de la comptabilité puis ils décrivent les solutions usuelles ou recommandées par la doctrine. Cette approche doit permettre aux praticiens de juger de façon éclairée de la fiabilité et de la pertinence de l’information comptable dispensée par les entreprises. Ce premier volume propose une approche systématique de la comptabilité fondée sur un corps de principes organisés en une démarche théorique rationnelle. Il présente une analyse générale du traitement comptable des différentes entités sociétés qui mène à l'établissement des états financiers. Il se réfère au nouveau droit comptable suisse (art. 957-963b CO) ainsi qu'aux dispositions prévues dans les Swiss GAAP RPC et dans les IFRS. Il propose en outre 35 cas, dont 15 avec solution

Comparison of tools and techniques for implanting pacemaker leads on the ventricular mid-septum

Many physicians target the interventricular septum for pacemaker implantation, but the lead may inadvertently end up in an anterior position

Microfabricated solenoids and Helmholtz coils for NMR spectroscopy of mammalian cells

NMR-microprobes based on solenoids and Helmholtz coils have been microfabricated and NMR-spectra of mammalian cells have successfully been taken. The microfabrication technology developed for these probes consists of three electroplated copper levels for low resistance coils and three SU-8 layers for the integration of microchannels. This technology allows fabricating solenoids, Helmholtz and planar coils on the same wafer. The coils have inner diameters in the range of 160 to 400 microm and detection volumes of 5 to 22 nL. The solenoid and Helmholtz coils show improved RF-field characteristics compared to a planar coil fabricated with the same process. The fabricated solenoid has a particularly low resistance of only 0.46 Omega at 300 MHz. Moreover, it is very sensitive and has a very uniform RF-field, but shows large line width. The Helmholtz coils are slightly less sensitive, but display a far narrower line width, and are therefore a good compromise. With a Helmholtz coil, a SNR of 620 has been measured after one scan on 9 nL pure water. An NMR-microprobe based on a Helmholtz coil has also been used to take spectra of CHO cells that have been concentrated in the sensitive region of the coil with a mechanical filter integrated into the channel

Swiss GAAP FER : Erläuterungen, Illustrationen und Beispiele : Lehrbuch

Die Bedeutung der Rechnungslegung hat sich in den letzten Jahren gewandelt. Immer wichtiger werden Abschlüsse, die ein den tatsächlichen Verhältnissen entsprechendes Bild der Vermögens-, Finanz- und Ertragslage einer Organisation vermitteln. Davon profitieren nicht nur die externen Nutzer der Daten (Wirtschaftsprufer, Analysten, Wirtschaftsjournalisten, Investoren usw.), sondern auch die Unternehmen selbst. Der Gesetzgeber hat dies erkannt und verlangt im neuen Rechnungslegungsrecht, dass kotierte Unternehmen einen anerkannten Standard zur Rechnungslegung anzuwenden haben

Upregulation of Key Molecules for Targeted Imaging and Therapy.

Targeted diagnosis and therapy enable precise tumor detection and treatment. Successful examples for precise tumor targeting are diagnostic and therapeutic radioligands. However, patients with tumors expressing low levels of the relevant molecular targets are deemed ineligible for such targeted approaches. METHODS We performed a screen for drugs that upregulate the somatostatin receptor subtype 2 (sstr2). Then, we characterized the effects of these drugs on transcriptional, translational, and functional levels in vitro and in vivo. RESULTS We identified 9 drugs that act as epigenetic modifiers, including the inhibitor of DNA methyltransferase decitabine as well as the inhibitors of histone deacetylase tacedinaline and romidepsin. In vitro, these drugs upregulated sstr2 on transcriptional, translational, and functional levels in a time- and dose-dependent manner. Thereby, their combinations revealed synergistic effects. In vivo, drug-based sstr2 upregulation improved the tumor-to-background and tumor-to-kidney ratios, which are the key determinants of successful sstr2-targeted imaging and radiopeptide therapy. CONCLUSION We present an approach that uses epigenetic modifiers to improve sstr2 targeting in vitro and in vivo. Translation of this method into the clinic may potentially convert patients ineligible for targeted imaging and therapy to eligible candidates